翻訳と辞書 |
total ordering A relation R on a set A which is a partial ordering; i.e. it is reflexive (xRx), transitive (xRyRz => xRz) and antisymmetric (xRyRx => x=y) and for any two elements x and y in A, either x R y or y R x. See also equivalence relation, well-ordered. (1995-02-16)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|